翻訳と辞書 |
Dinatural transformation : ウィキペディア英語版 | Dinatural transformation In category theory, a dinatural transformation between two functors : written : is a function which to every object ''c'' of C associates an arrow : of X and satisfies the following coherence property: for every morphism of C the diagram commutes. The composition of two dinatural transformations need not be dinatural. == See also ==
* Extranatural transformation
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Dinatural transformation」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|